Function type

Results: 893



#Item
341Computer programming / Object-oriented programming / Polymorphism / Data types / Functional programming / Ad-hoc polymorphism / Parametric polymorphism / Type class / Function overloading / Software engineering / Computing / Type theory

Advances in Programming Languages APL7: Polymorphism from Types to Kinds and Beyond Ian Stark School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-10-11 21:20:45
342Mathematics / Data types / Subroutines / Universal algebra / Lambda calculus / Type inference / Type system / Variadic function / Map / Software engineering / Type theory / Computing

Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-01-16 15:37:27
343Membership function / Fuzzy set / Fuzzy number / Trapezoidal rule / Type-2 fuzzy sets and systems / Fuzzy logic / Logic / Fuzzy control system

IFSA-EUSFLAT[removed]Weighted Trapezoidal Approximations of Fuzzy Numbers Przemysław Grzegorzewski1,2 Karolina Pasternak-Winiarska2

Add to Reading List

Source URL: www.eusflat.org

Language: English - Date: 2011-12-12 02:23:23
344Respiratory therapy / Chronic lower respiratory diseases / Bronchodilators / Pulmonary function testing / Respiratory physiology / Chronic obstructive pulmonary disease / Acute exacerbation of chronic obstructive pulmonary disease / Bronchiectasis / Asthma / Pulmonology / Medicine / Health

Index Note: numbers in bold type refer to figures; figures on CD-ROM are cited in index as CD-ROMFig.1 etc. CO

Add to Reading List

Source URL: media.wiley.com

Language: English - Date: 2009-05-04 14:59:38
345Mathematical logic / Parametric polymorphism / Type class / System F / Normal function / Type inference / Ordinal number / Type system / Kind / Type theory / Software engineering / Programming language theory

Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:15
346Phonetics / Speech / Language acquisition / Epenthesis / Babbling / Liaison / Phonaesthetics / Style / Pronunciation / Linguistics / Phonology / Language

What people know about pronunciation 1. An ‘indexical’ function: recognizing, identifying a person, or a type of person • Gender (and, possibly,orientation) • Age, at least in general terms: infant, child, teenag

Add to Reading List

Source URL: www.cf.ac.uk

Language: English - Date: 2012-05-10 06:30:08
347Medicine / Diets / Endocrine system / Glycemic load / Glycemic index / Insulin resistance / Obesity / Diabetes mellitus type 2 / Diabetes mellitus / Nutrition / Diabetes / Health

GLYCEMIC LOAD DEFINED Glycemic load is a function of carbohydrate intake and glycemic index. Example: The glycemic index of one packet of Sweet’N Low or Equal is high (per clinical studies), but the glycemic load of on

Add to Reading List

Source URL: www.blueagavenectar.com

Language: English - Date: 2010-11-13 13:18:57
348Estimation theory / Credible interval / Confidence interval / Point estimation / Sample size determination / Prior probability / Likelihood function / Coverage probability / Frequentist inference / Statistics / Statistical inference / Bayesian statistics

Package ‘SampleSizeProportions’ February 19, 2015 Type Package Title Calculating sample size requirements when estimating the difference between two binomial proportions Version 1.0

Add to Reading List

Source URL: kambing.ui.ac.id

Language: English - Date: 2015-02-19 16:40:21
349Science / Fuzzy control system / Control system / Fuzzy set / Defuzzification / Membership function / Type-2 fuzzy sets and systems / Lotfi A. Zadeh / Fuzzy logic / Logic / Mathematical logic

NEETESH SAXENA et. al.: FUZZY LOGIC BASED STUDENTS PERFORMANCE ANALYSIS MODEL… Fuzzy Logic Based Students Performance Analysis Model for Educational Institutions Neetesh Saxena1*, Kajal Kaushal Saxena1 1

Add to Reading List

Source URL: www.ijrimsec.com

Language: English - Date: 2010-12-04 13:57:41
350Category theory / Binary operations / Functional programming / F-coalgebra / Initial algebra / Coalgebra / Function / Cartesian product / Exponentiation / Mathematics / Abstract algebra / Type theory

Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2002-09-27 12:57:43
UPDATE